Merge pull request #2622 from cgwalters/more-ci
authorJonathan Lebon <jonathan@jlebon.com>
Tue, 31 May 2022 19:14:50 +0000 (15:14 -0400)
committerGitHub <noreply@github.com>
Tue, 31 May 2022 19:14:50 +0000 (15:14 -0400)

Trivial merge